Über den Nachweis von Saccharose neben anderen Zuckerarten mit besonderer Berücksichtigung des Nachweises in Most und Wein

Verifikation von UML-Statecharts unter besonderer Berücksichtigung von Speicherverbrauch und Laufzeit des Model Checkers

Ein Model Checker verifiziert, ob ein Modell bestimmte Anforderungen erfüllt. Eine Möglichkeit, das Verhalten von Softwaresystemen zu modellieren, sind endliche Automaten. Diese finden Einzug in die Unified Modelling Language in Form von Statecharts. UML-Statecharts können ein hohes Maß an Komplexität erreichen, so dass sich ihr Zustandsraum nicht mehr komplett in den Hauptspeicher abbilden läs...

Über die Gestaltung schulischer Netzwerke unter besonderer Berücksichtigung von Datenschutz und Datensicherheit auf Basis einer quantitativen Befragung an Schulen

Über den Umgang mit modellabhängigen Komponenten: Verfeinerungen und ihre Auswirkungen

Die Modellierung von Prozessen spielt in vielen Bereichen eine große Rolle. Dieser Artikel beschäftigt sich damit, was geschieht, wenn ein Modell nicht nur visualisiert, sondern für sich anschließende Aufgaben weiter verwendet wird. In diesem Fall sind weitere Komponenten von dem Modell abhängig und Modellmodifikationen sind nicht mehr trivial. Eben diese Schwierigkeiten treten bei der Verwendu...

Datenschutz und Datensicherheit unter besonderer Berücksichtigung des elektronischen Geschäftsverkehrs zwischen öffentlicher Verwaltung und privaten Unternehmen

Ökonomisch vorteilhafte Individualisierung und Personalisierung: eine Analyse unter besonderer Berücksichtigung der Informationstechnologie und des electronic commerce